<HTML><HEAD><TITLE>meta_predicate_pattern(?Pattern)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(source_processor)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>meta_predicate_pattern(?Pattern)</H1>
Describes built-in ECLiPSe meta-predicate patterns
<DL>
<DT><EM>Pattern</EM></DT>
<DD>Prolog term describing the meta-predicate pattern
</DD>
</DL>
<H2>Description</H2>
<P>This predicate returns a structure, Pattern, that describes the control flow through the arguments of a meta-predicate.<P>The functor and arity of Pattern correspond to the functor and arity of the meta-predicate. The arguments are each populated with one of the following atomic descriptors:<DL><DT><PRE>u</PRE><DD>A goal that is unconditionally called whenever the predicate is called.<DT><PRE>e</PRE><DD>A goal whose exit leads unconditionally to the predicate exit.<DT><PRE>s</PRE><DD>A goal whose behaviour is the combination of <TT>u</TT> and <TT>e</TT>.<DT><PRE>:</PRE><DD>A goal that is called directly.<DT><PRE>0</PRE><DD>A goal that is not directly called, but is further processed.<DT><P>An integer</P><DD><P>A goal that is constructed by appending the number of specified arguments.</P><DT><PRE>c</PRE><DD>A clause.<DT><PRE>p</PRE><DD>A PredSpec.<DT><PRE>*</PRE><DD>An argument that is not one of the above.</DL>
<H3>Fail Conditions</H3>
no
<H3>Resatisfiable</H3>
yes
<H2>See Also</H2>
<A HREF="../../lib/instrument/instrument-2.html">instrument : instrument / 2</A>, <A HREF="../../lib/instrument/instrument-3.html">instrument : instrument / 3</A>, <A HREF="../../lib/instrument/index.html">library(instrument)</A>, <A HREF="../../lib/instrument/itemplate-s.html">instrument : struct(itemplate)</A>
</BODY></HTML>
